is a dimensional subspace of the dimensional where is the number of conjugacy classes in G
One can also think of elements of as functions that assign complex numbers to conjugacy classes (but then the scalar product has to be weighted by the size of the conjugacy classes)